41. Bayesian estimation and tracking :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic tracking-- Mathematics.,Bayesian statistical decision theory.,Estimation theory.,Mathematics.
Classification :
QA279
.
5
.
H38
2012
42. Boolean functions in cryptology and information security
Author: / edited by Bart Preneel and Oleg A. Logachev
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Algebra, Boolean, Congresses,Cryptography, Congresses,Computer security, Congresses
Classification :
E-BOOK
43. C programming :
Author: David R. Brooks.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C (Computer program language)
Classification :
QA76
.
73
.
C15
D385
9999
44. Cognitive Informatics and Soft Computing :
Author: Pradeep Kumar Mallick, Valentina Emilia Balas, Akash Kumar Bhoi, Ahmed F. Zobaa, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational intelligence, Congresses.,Soft computing, Congresses.,Computational intelligence.,COMPUTERS-- General.,Soft computing.
Classification :
Q342
45. Combinatorics, computability and logic :
Author: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
46. Combinatorics, computability and logic :
Author: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
Classification :
QA164
.
C733
2001
47. Common LISP :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: LISP (Computer program language),LISP (Computer program language),TECHNOLOGY & ENGINEERING / Electrical.
Classification :
QA76
.
73
.
C28
T68
2015
48. Computability
Author: Martin Davis,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Recursive functions,Unsolvability )Mathematical logic(,Computable functions
Classification :
QA
.
D38
9
.
615
1982
49. Computability /
Author: George J. Tourlakis
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions,Recursive functions
Classification :
QA9
.
59
.
T68
1984
50. Computability.
Author: Klaus Weihrauch
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA9
.
59
K538
2012
51. Computability
Author: Tourllakis, George J.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Computable functions,، Recursive functions
Classification :
QA
9
.
59
.
T68
1984
52. Computability
Author: Weihrauch, K.)Klaus(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computable functions,، Recursive functions
Classification :
QA
9
.
59
.
W45
1987
53. Computability, an introduction to recursive function theory
Author: Cutland, Nigel.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computable functions,، Recursion theory
Classification :
QA
9
.
59
.
C87
1980
54. Computability, an introduction to recursive function theory
Author: / Nigel Cutland
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computable functions,Recursion theory
Classification :
QA9
.
59
.
C87
55. Computability : an introduction to recursive function theory
Author: Cutland, Nigel
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Recursion theory,، Recursive functions
Classification :
QA
9
.
59
.
C87
1980
56. Computability, an introduction to recursive function theory /
Author: Nigel Cutland
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions,Recursion theory
Classification :
QA9
.
59
.
C87
57. Computability, an introduction to recursive function theory
Author: / Nigel Cutland
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computable functions,Recursion theory
Classification :
QA9
.
59
.
C87
58. Computability, an introduction to recursive function theory
پدیدآورنده : Nigel Cutland,Title
موضوع : Computable functions,Recursion theory
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
59. Computability and logic
Author: Boolos, George.
Library: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
Subject: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.
Classification :
QA
9
.
59
.
B6C6
60. Computability and logic
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computable functions,Recursive functions,Logic, Symbolic and mathematical
Classification :
QA9
.
59
.
B66
2002
